Towards more efficient Software Engineering with formal MDA

In Model driven architecture (MDA) domain experts model their knowledge in a modeling language at a higher abstraction level than source code. The mapping from domain models to source code is often performed automatically, but programmers still have to implement many details manually. MDA brings domain experts and programmers closer together and makes the communication gap smaller. Often this is accomplished through visual modeling tools using UML. These and many other widely accepted advantages of MDA contribute to the ever growing popularity of MDA. However, there are still some shortcomings of MDA that may be resolved by incorporating formal descriptions.